Types vs clever code

If it’s hard to type check, it’s probably hard to understand.
– Jared Forsyth @ React Conf 2017